perm filename CMSI10.360[360,GF]2 blob sn#848953 filedate 1987-11-21 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β8↔&∩p→'#⊂_LG∧  GCr⊂⊃¬Uhβ↔ e`↓@ 5`↓@ 5X↓@@5X↓@@EP↓@`EHα`EH↓AE@α↓E@↓A E8α↓@58↓A`E0α↓`E(ααE(ααE αα E ↓B@E_αα@E_↓CE⊂αβEλ
T"U∀@pα∪`@xα∪`1αS@Aλα∪ A⊂α∪ A⊂α∪A_α∪A_α∩`A α∩`1(αQ(D⊂∞HD"⊂βCj⊃⊂(Dj⊂ ∧Aj εA* π↓
 πA
 πA
 πA	p λip πA	p π@ip π↓	p ε↓)` ¬AIa_'∧)a⊂'↓↓@&A↓@0&A↓` &A↓p &A↓p &↓α⊂_&↓α⊂_&↓α &↓α &↓↓p %Aα %A↓p %A↓P(%A↓ 8%E	!_%∧λT !G∧2 ⊃D↓¬8π∃B¬ β↓`U_αB`%⊂α∀ Eα∪`Dxα∪@Dhα∪ D`α∪D`α∩`DXα∩`DXα∩@DPα∩@DPα∩@DPα∩`DXα∩`DXαSD`αC`∀hαC4pβ↓`dxλ∀↓U_∧⊃(D ∂I∧"⊂βD
⊃_(E
⊂ ¬↓j εAJ πA
 πA* λ↓
 λ↓)p 	↓	p 	↓	p 	↓	p 	↓	p 	↓	` 	A	` 	A	` 	A	` 	A	` 	@iP 	A	P 	A	P 	A	P 	↓	@ 	A	@ 	↓	@ 	↓	@ λA	@ λ↓	0 λ↓	0 πA	0 εA)0 ¬AI1 %∧i!"QλQ`⊂HD 8
T"Uλ
T Eα∀Eα∀Eα∪`Dxα∪`Dxα∪`Dpα∪BDp
∪BDpα∪ Dhα∪ Dhα∪D`α∪D`α∪DXα∩`DXα∩`DX∩BdP⊃(D0
H∧"⊂βE
⊃ (E
⊂ (↓
 (↓
 (↓	p 'A	p 'A	p '↓	` '∧Ia⊂'∧IP &A	P &A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT #G∧2 ⊃D↓¬8π∃B¬ β↓`U_αB`%⊂α∀ Eα∪`Dxα∪@Dhα∪ D`α∪D`α∩`DXα∩`DXα∩@@X¬∩@@X¬∩@@X¬∩@Aλα∩@Aα∩@Aα∩@Pxα∩`@xα∩`@xα∩`@pα∪@hα∪P`α∪ PXα∪@P@β∪b∃π∀A∀("∩βr ⊃λ@p λ↓
⊂ λ↓
⊂ λ↓
⊂ λ↓
 λ↓
 λ↓
 λ↓
 λ↓
 λ↓	p λ↓	p λ↓	p λ↓	p λ↓	p λ↓	` λ↓	a@'ε	a@'↓α &Aα &Aα &Aα &Aα &↓α &↓α &↓α &↓α &↓α %Aα %Aα %Aα %Aα %Aα %↓α %↓α "Q	⊂XλλD 8α∀ Eλα∀ Eα∀Eα∀Eα∪`Dxα∪`Dxα∪`Dpα∪@Dpα∪@Dpα∪ Dhα∪ Dhα∪D`α∪D`α∪DXα∩`DXα∩`DXα∩@DPα⊃(DPF$2⊂	AP .AP .↓@ .↓@ .↓0 -A0 -A0 -↓  -↓  -↓⊂ ,A⊂ ,A ,↓ ,↓ +A
p +↓)0λ¬↓	0_β↓) p&αi`8"Q	2λ∪λD 8α∧ Uλα∧Uλαβ`Uλαβ@Eαβ UαβUαα`Uαα@Uαα Txαα TxααTxα↓@Txα↓ Txα↓Tpα↓dpα`tpαA∀pα Pλα∪A_αS!(α∪ p0αS `@α∪ PHα∪PXα∪@`α∪@hα∪@hα∪@hαR`@xα∩`@xαR`Aα∩`Aα∩`Aλα∩@A⊂α∩@A⊂αQ(D`
ε$"⊂βA
⊂ (A
⊂ (↓
 (↓
 (↓	p 'A	p 'A	p '↓	` '↓	` '↓	P &A	P &A	@ &↓	@ &↓	@ %A	0 %A	0 %Di!_%∧hT &J¬R⊂⊃↓`a(β∀ a(β∀ a βT @λD`0λα∀@⊂D` λα∀@λ↓∧@0λα∀@λ↓∧@0λα∀@λ↓D0⊂α∀@⊂↓∧0⊂α∪`@_↓β`0⊂α∪`@_↓β@@⊂α∪`@_↓β@0_α∪`@_↓β @_α∪`@_↓β 0 α∪@@ ↓B`@_α∪@@ ↓B`0 α∪@@ ↓B@@ α∪@@ ↓B @(α∪@@ ↓B @(α∪ @0↓α@(α∪ @0↓α00α∪ @0↓A@@0α∪ @0↓A@08α∪@8↓A @0α∪@8↓A@8α∪@8↓A@8α∪@@↓`@@α∪@@↓`0Hα∩`@H↓@@@α∩`@H↓@0Hα∩`@H↓ @Hα∩`@Hβα@DXαα `Pα∩@@Xαα@DPαε D("∪Cr ⊃λ@p8εA
⊂8εA
⊂8εA
⊂ @AP (↓ _¬A
 ↓a0 (↓ _¬A
 ↓a0 (↓ _¬A	p ↓A↓⊂ 'A0 ∧A	p αa⊂ 'A@_∧A	p α↓↓ '↓P βA	` αAp '↓`_βA	` β↓` '↓` β↓	P βAP &A↓_αA	P ∧`P &A↓ α↓	@ ∧A0 &↓↓⊂ ↓A	@ ¬`0 &↓↓ _↓A	@ ¬`0 %A↓0 A	0 ε`⊂ %A↓@_A	0 ε`⊂ %A↓@@%↓↓`0%↓↓`0"Q	qx∩I∧1βUaE0πU`0β∀`PPα∀@@hα∀ @pαTAα∪`A⊂↓S`1_α∪@A_α∪ A α∪ A α∪A(α∪A(α∪10α∩`A0α∩`A0α∩`A0α∩`A(α∩@A0α∩@A0α∩@A(αR@A(α∩@A(α∩@A α∩@Q⊂αR`A⊂α∩`Aλα∩`Pxα∪@pαSP`αS PHβ∪@`(β∪auε∀@t("∀βR⊂⊃λ@q(DJ⊃_(A↓ 0(↓↓P((↓↓` (↓↓p_(↓↓p_(↓↓p 'Aα_'Aα_'A↓p 'A↓p_'A↓` '↓↓` '↓↓P '↓↓ 0'∧iaλ&D	P &A	P &↓	@ &↓	@ &↓	0 %A	0 %A	0 %↓	  "Q
⊃x∩J$1βUaE0πU`0β∀`PHαT@@hα∀ @pαTAα∪`Aλα∪`A⊂α∪@A_α∪ A α∪ A α∪A(α∪A(α∪A(α∩`A0α∩`A0α∩`A0α∩`A(α∩@A0α∩@A0α∩@A0α∩@A(α∩@A(α∩@A α∩@@@ααDXαα@0α∩`@@αADXαα @_α∪@@α@ T`αB↓∀hαAa∧pβ↓ dxλ∀↓u⊂β@@U`α↔Uhα↔ Upα⊃(E⊂∞HD"⊂βCj⊃⊂(Dj⊂ ¬↓J εA* π↓
 π@j πA
 πA	p λip λip πA	p π↓	p εA	` εA)` ¬AIa_'∧)`x&A↓ &A↓⊂_&A↓⊂ &A↓⊂ &↓↓0 &↓↓0 &↓↓@_&↓↓@ &↓↓@ %A↓` %A↓` %A↓` %A↓p %A↓p %↓α %↓α⊂ "Q
1P∞I∧0xβUAU(πT``0αT@PP↓∀@Eλα∀Eα∀DxαS`TxαTEαT uλ¬∀A5 ¬Ua∃Pβ↔U`αW Ehα↔ Ehα↔ E`α↔DXC`DP↓C@DPαB@TXβ↓@d`λ∪AE∧⊃(E ∞ID"⊂π)!h%π*p +↓
` +↓
` +↓
P *A
P *A
P *↓
@ *↓
@ *↓
0 )A
0 )A
  )↓
  )↓
  (A
⊂ (A
⊂ (A
 (↓λT *G∧2_⊃↓ @xα∪`@xα∪`@xα∪`@xα∪@@xα∪@@xα∪@@xα∪@@xα∪@@xα∪ @xα∪ @xα∪ @xα∪ @xα∪ @xα∪@xα∪@xα∪@xα∪@xα∪@xα∩`@xα∩`@xα∩`@xα∩`@xα∩@@xα∩@@xα∩@@xα∩@@pα∩@@pα∩@@hα∩`@`α∩`@Xα∩`P@αSP0αS!dp¬Tt("∃Cr8⊃λ@ ↓	  ↓	0 
↓	0 
↓	0 	A	0 	A	0 	↓	0 λA	0(λ↓	@ πA	@ πA	@ π↓	@ πi@ εA	@ ε↓	P ¬A	P ¬↓	P ¬↓	P ∧A	P ∧@iP ∧↓	`_βA	` β↓	` αA	` α@i` α↓	` αi` ↓A	p_↓@ip_↓↓	p_↓ip_@ip8'AJ("Q
rh~HD α∧Qα∩@@xββ`DPαβ``xα∩@@p↓@ 0pα∩@@p↓@ 0pα∩@@h↓@@0hα∩`@`↓@@0hα∩`@Xα@0`α∩`@X↓@`0`α∩`@X↓@`0Xα∩`@P↓A0Xα∩`@P↓A0Pα∩`@H↓A 0Pα∩`@H↓A 0Hα∩`@@↓A@0Hα∩`@@↓A@@8α∩`@8α↓@@8α∩`@8↓A`@0α∩`@0α↓`@0α∩`@0↓B@0↓R`@(αα@(α∩`@(↓B @(↓S0 αα @ α∪0 ↓B@@ ↓S0 ↓B@@_α∪0_↓C0_↓S0_↓C0⊂α∪0⊂↓C 0⊂↓S0⊂↓C 0⊂↓S0⊂↓β@0λ↓S0λ↓C@0λ↓S0λ↓β`0λ↓∪`xβ∪QαSQαQ(E@∩	$"⊂∧↓"  )Aα⊂ )A!p *↓↓` *↓!@(*A↓0(*A!⊂(+↓↓(+↓ p +A` +A @ ,↓0 ,↓ ⊂ ,B⊂8-↓K0 -↓+⊂8,α
p A*` ↓A
P α↓*@ β↓
0 βA* (∧↓
⊂(∧A*⊂ ¬A
 ε↓)p π↓	` πA)P λA	@ 	↓)0(	A) (
↓(T ,Gdr⊂⊃A0αR@Q(α∩`A α∩`Q⊂α∪Aλα∪Pxα∪PpαS P`αS PXαS@@Xα∪@PHα∪`@@α∪`P0α∀@(α∀@ αT @_α∀ @⊂α∀ @λα∀@u⊂β∀`E_α∀`E⊂α∀@E⊂α∀@E⊂↓T Eλα∀ Eλα∀ 5α∀D("⊗Cbλ⊃λ@q8(Ej⊃81↓,  0A /A+`(.A+P .↓0 -↓+⊂(,A +A
`(*A*P *↓
0 )↓*⊂((A
 'A	`(&A)@(&↓	1@%ε	!@"Q⊃_¬"PHβT!$xεS`00αS`⊂Hα⊗ EHα⊗ EHα∃`eλ¬SAdhβ↓ D`ααDXαα DPαα DPαα DPααTPαA@dXλ∩a λα∪p_α⊃(F⊂εD"⊂βA
⊂ (A
⊂ (↓
 (↓
 (↓	p 'A	p 'A	p ↓AI` ↓α)a'↓`@0'↓! '↓↓⊂ &A↓ (&A↓0 &A↓0 &A↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓0 &↓↓  %A↓ (%A!⊂ %A p(%A@P(%Ci  ↓α)  ↓AHT 1Dbq(
B uλ¬T↓TxαA@4pαα ∀hα∪D`α∩`DXα∩@DPα∩@DPα∩@DPα∩`DXαα@$`α↓`D`πS!DxβQ(F π∧"⊂
↓` /↓` .AP .AP .A@ .↓@ .↓
0(α↓
⊂HA
x'↓@P0'↓↓(&A↓⊂(&↓↓  &↓↓  %A↓0 %A↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓0 %↓↓  %↓!⊂ %A↓(%A P8&α`⊂ &B ⊂ '↓@0 "QQ_E"PHβ∀!%ε∪@P(α∪ P8↓S @@α∪@P↓S0X↓Rb$X	∩B$Pα∩@DPα∩@DPα∩@DXαα@∀XαA@D`π∪!4xβQ(F0	Ed"⊂εAJP@*α*0 )↓
 _(A
⊂ (A
 (↓
 (↓	0h%β) h'A	p 'A	` '↓	` '↓	P &A	P &A	P &↓	@ &↓	@ &↓	0 %AλT 3Fc2
C`(α∃↓⊂λβTb%⊂α@`Uλα↓@Eλα↓@Eα↓`Eα↓`Eα↓`Eα↓@Eα↓@EαAEλ¬T↓4x↓@@Tx↓∪@4pα∪AdxπSb∧h	SPHβ∩`@hα∩`@hα∩@@pα∩@@pα∩@@hα∩`@XαR``8β∪α∧hπ∀↓∧("~αA@⊃λ@p (A
⊂ (A
 (↓
 (↓
 'A	p 'A	p 'A00'↓ H'↓⊂X'↓`P '↓ p '↓↓ &A! &A↓⊂ &A↓⊂ &A↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %↓↓⊂ %↓↓⊂ "Q
⊂XπλD 8α∀ Eα∀D8∧A Dpα∪@Dpα∪@Dpα∪ Dhα∪ Dhα∪D`α∪D`α∪DXα∩`DXα∩`DXα∩@DPα⊃(FP
D¬B⊂λA0 -A0 #B!p ,↓ ,↓ ,↓
p +A
p +A
` +↓
` +↓
` *A
P *A
P *A
@ *↓
@ *↓
0 )A
0 %@ ` %@`0(%αi0H&A(T 5EC"⊂⊃↓`Eλα∀ Eλα∀Eα∀Eα∀Dxα∪`Dxα∪`DxααDpααDpα↓`Dpα↓@Dpα↓ Dpα`Thα`Dhα@Dhα Dh¬∪↓4`ε∪`λαSP_αS@ αR`@0α∩`@0αR`@0αR`@8αR`@8αR@@Hα∩@@HαQ(F`¬CD"⊂βA
⊂ (A
⊂ (↓
 (↓
 (↓	p 'A	p 'A	p '↓	` '↓	` '↓	P &A	P &A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT 6Hdq(
A @ βαdpαa⊂(∧S@@λεADpβA Pλ↓A Tpβ↓`p8α∪@P@βαDhαB PHα∪ @Pαα@Dhαα@@Pα∪ @Pαα@D`αα@@Pα∪@Pαα@D`αα@@Pα∪@Pαα@D`αα@@Pα∩`@Pαα@DXαα@@Pα∩`@Pαα@DXαα@@Pα∩`@Pαα@DPαα@@Pα∩@@Pαα@D("≠BA@
E P ↓AI` ↓α)` Bi`8αA	`(βA	` ∧↓	P(∧↓	P ∧A	P ∧A	P ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧A	  ∧A	  ∧AλT 7Ec!(
B@u⊂¬T↓dxαA@Tpαα Thαα`D`αβD`αβ 4Xαβ@DXαβ@DPαβ@DPαβ@DPαβ@DPαβ TPαβ DPαB`DXαα@TXαBT`αA dhπ∪A5β⊃(GεCq(βA00(↓ H(∧
8α↓J(βA* ∧A	p ¬↓)p ¬A	p ¬A	p ¬A	` ¬A	` ¬A	` ¬A	` ¬↓)` ¬↓	P ¬↓)P(∧↓)P(βA)P0α↓IPx&↓ H&↓00&↓	@ %A	0 %A	0 %A	  %↓	  "Q∞⊃0
πbPHαAEλ∧@ EπS`P(β∪@@@αS @HαS@Pα∪@Pα∩`@Xα∩`@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Pα∩@PHα∩`@@αR`` βS↓0λα∪!⊂λα∪@`_α∃`E8α∃@E0α∃@E0α∃@E(α∃ E(α⊃(G⊂λ¬αQ(αA0 '↓0 '↓⊂0'α	`0'↓)P(&A)P &A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT 9DBA(
B eλ¬∪aTxα↓@4pαα∀pα∪ DhαS dp∧Sa%¬∀A¬0α∃@U0α∃@DP↓α@DPα↓@TPπ∩aDpβQ(G π∧c1Xβ↓
 'A	p 'A	p %C) h%β)` '↓	` &A	P &A	P &↓	@ &↓	@ &↓	0 %A	0 α)0 ↓@I0H%B	@("Q∞Q(
¬"P αα Dhαα Dhαα Dhαα Dhαα Dhαα D`αα D`αα D`αα D`αα DXαα DXαα DXαα DXαα DXαα DPαα DPαα DPααTPα↓@tPε DX¬ D`β↓D("≥BQP
E (ε↓	0 ¬A	0 ¬A	0 ¬↓	0 ∧A	0 ∧A	0 ∧↓	0(βA	@ β↓	@ β↓	@ αA	@ α@i@ α↓	@ αiP_↓A	P_↓@iP_↓iP_↓iP_@iP8&AI`("Q∞r∩E"Pαα `Hα∩@P@βαDXα↓`p@α∩`@8βA`DXα↓@0λα↓`DXα↓@0λα↓@DXα↓ 0_↓A@DXα↓ 0_↓A DXα↓0 ↓A DXα↓0 ↓A 4Xα`0(↓ADXα`0(↓A4Xα` 0↓@`DXα@00↓@`4Xα@ 8↓@@DXα 08↓@@4Xα  @↓@@4`↓@  @↓@ 4`↓  H↓@ 4`αB d`αα@d`αα`D("≡β!P
E P(¬A
 ¬↓
(∧↓
⊂ βA
  αA
 (↓A
0 ↓↓
@@*↓jP(*A
P(*↓J0_A
 _↓@j⊂_α↓
_β↓	p β↓	` ∧↓	P ∧A	@ ¬A	0 ε↓(T <FC!x
A P`α∀@Xα∀@Xα∀@Pα∀@Hα∀ @@α∀ @8α∀ @8α∀ @0α∀ @0↓T@0(α∀@@ ↓T@@_α∀@@_↓T@@⊂↓T`0⊂↓T`0λ↓T`0λ↓T`0λ↓∀`e α∃5 ↓T`5⊂α∀@5λ↓T 5↓RA∧PβR@d("≡Bq@
E aλ'D)qλ-A  ,A +A
` *A
@ )A
  (A
 'A	` &A	@ %DI!⊂%∧HT εCr⊂⊃↓b5λ	T"5λα∀Eα∀Eα∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("$R8⊃λBp(0AL8/@`⊂ /@` _/`0 .A0 .@`@ .↓@ -AP(-@`p -↓p ,A↓ ,@a⊂(,↓↓  +A↓0 +@a@ +↓↓@(*A↓P(*@ap *↓↓p )Aα()↓α⊂()↓α  (Aα0 (↓α@((↓α@('Aα` '↓αp '↓αp(&Aβ(&λIB⊂%I	"("Q"λ∪I∧1λβV↓U0λ∃ `0β∀`PXαT@PhαT Pxα∀Qλα∪`Q⊂α∪`A_αS@A(α∪ A0α∪ A0α∪A8α∪A8α∪A8α∩`@ λ↓DXα↓α α∩`@ λ↓DXα↓α_α∩@A@α∩@A@α∩@A@α∩@A8α∩@A8α∩@A0α∩`A α∩`A α∩`A_α∩`Qλα∪Aα∪ @pα∪ PXαS@`8β∪b¬λε∀a∧("c1`⊃λB (.↓+00-@@⊂ -`⊂ -`⊂ ,@`  ,@`  ,↓  ,`0 +A0 +@`@ +↓@ +``_*A` *@`p *↓p *a )A↓ )@a⊂ )↓↓⊂ (A↓  (A↓  (↓↓0 (↓↓0('A↓P 'A↓P '↓↓` '↓↓` &A↓p &@b &↓α &b⊂ %Aα⊂ %@b ("QB_∩HD 8∞∀#Eλ∞⊃a@@
∀BE⊂
⊃a`λ∞∩CDP∞⊃(@(∂I∧"⊂βF
⊃@(F
⊂ λ↓
 λ↓
 λ↓
 λ↓
 λ↓
 λ↓	p λ↓	p λ↓	p λ↓	p λ↓	p λ↓	` λ↓	` λ↓	` λ↓	` λ↓	` λ↓	P λ↓	P λ↓	P λ↓	P λ↓	@ λ↓	@ λ↓	@ λ↓	@ λ↓	@ λ↓	0 λ↓	0 λ↓	0 λ↓	0 λ↓	0 λ↓	  λ↓	  λ↓λT β	∧r⊂⊃↓cUλ∞T#UλαT@U⊂αT`U_αUU αU U(αU@U0αU`U8αVU@αVU8αU@U(αUU α∀`U⊂αT UαS`Txα∪@DhαSβDX∞∩CT("↓dαH⊃H`p(¬A)p@∧α)PXβαi@(α↓@ α↓)0(β`0_βA	0 ∧@0⊂∧↓	  ∧@@ _∧↓	  ∧@@ ⊂∧A
p⊂@jp⊂@Jp(+A
p +A
p +↓
` +↓
` +↓
P *A
P *A
@ *↓
@ *↓
@ )A
0 )A
0 )A
  )↓λT ∧πDB⊂⊃∧ EXα⊗`EXα⊗@E@∧∃!U_λT p⊂α eαA@ αS`@0α↓ Tpα↓`@0α∪ @@α↓@T`αα @8α∪@@ααDXαα @@α∩`@HααDXαα @@α∩`@Hα↓`DPαB@@α∩`@@ααDXαα@8α∩`@@α↓@DXαA@@0αS@0α↓ T`β↓@_β∪ p⊂α dp	∀↓e_∧∃ E(α∃ E α∃D("α$∩P⊃λAp ,A⊂ ,A	 0∧↓↓⊂(%↓A ∧↓I 0∧↓↓0%A@p βA)@ ∧↓p &↓p ∧↓	@ βAp &↓p βA	@ βAp &↓p βA	0 βAp %Ap βA	0 βAp %Ap βA	0 βA` %A` βA	0 β↓` %A` β↓	0 β↓P %A @ αA)@ α↓@(&↓ 0 ↓A)P0A⊂0'βiph(B
0 )A
0 )↓
  "Q↓"_∩Hd1_∧⊗Ae@λU@p8β∃ P`αUPpαT`Qα∀@Q⊂α∀@A_α∀ A α∀ A α∀A(α∀A(α∀A(α∀A α∀A α∀A α∀A_α∀A_α∀A⊂α∀A⊂↓T 1λα∀ @xα∀ @x↓T@0p↓T@0hα∀@@`↓T@@X↓T`0P↓T`0P↓T`0H↓T`0H↓T`0@↓Ra0@ε∩A@8ε∩A@8ε⊃(CFd"λε↓J@P)C
  αA
⊂ βA
 ∧↓	p ¬ip ¬i` ¬A	` ¬A	P ε↓	P εiP ¬A	@ ε↓	@ ε↓	@ ε↓	@ ε↓	@ ε↓	0 ε↓	0 ε↓	0 ε↓	0 ε↓	0 ¬A	0_ε↓	  ε↓	  ¬A	  ¬A	0_¬↓	0 ∧A	0 ∧↓	0 βA	@(↓A)@`&BIp0"Qε⊃λλ$⊃V50αT↓%¬∀Pλα∃@E0α∃ E(α∃ E(α∃ E α∃E α∃E α∀`E_α∀`E_α∀@E⊂α∀@E⊂α∀@Eλα∀ Eλα∀ DPλ∩B∧Pλ⊃(C⊂Fd∩λεAjPX*β*0 αAJ _∧A
⊂_¬↓*⊂⊂ε↓
⊂εA	p_εA
λπ↓
λπ↓p /↓` .AP .↓0 -↓⊂ ,↓
p_*A
@ )A
 _(↓	p '↓	P_&i1 %¬	! "Qε1@
HD⊂hβ∃!%_εT@P(αT @@α∀0Xα∀ `α∀ ⊂`α↔@5hα↔ E`α⊗`EPα⊗U_∧T`u_∧V EPα⊗`5Xα⊗`EXα⊗`EXα⊗@DPC`DP↓β TP↓CDX↓B@DXαA@T`π∪A%β⊃(C FDαλA+ 0,@ ⊂ ,@ ⊂ ,@⊂ +@@  +`  *@`  *@`  *`0 )@`@ )↓@ (A@ (@`P (↓P 'A` '↓p &Ap &@a &↓↓ %A↓⊂ %¬I!0%¬Jp +A
` +↓
` +↓
` *A
P "QεQ@
H$@λ∀B¬λλ∀ Eλα∀ Eα∀Eα∀Eα∪`Dxα@dxεSadxβ↓ Dpβ↓`Dpαα Dpαα EXα⊗`EXα⊗`EXα⊗`EPα∩`⊂pα∩` `α∩@0Xα∩@@HαR`P(β∪↓Th¬S`d("
BQP⊃λ!`0+α*@X)A Pλ)↓
⊂ (↓	p '↓	`_&A	P_α↓I@ ↓α)@ Bi0 @`P(%AA %A!⊂ %A!  %↓!0 %↓!0 %↓↓@ %↓↓@ %↓↓0 %a@ %a@ %a@ %a0 %a0 %↓↓⊂ %↓↓ %@`p %AP &αiPH'↓HT ≠E#R⊂"DX
∩BEX↓V@5H↓V58↓U@E(α∃ 5 ↓T`E_↓T@5λα∀ 5α∪`Dxα∪@Dpα∪ Dhα∪ D`α∪D`↓R`DXα∩`DPα∩@D("∞αqX⊃λ!@0*αJ h(A P((↓ p (↓↓ 'A↓  'A↓  '↓↓  '↓↓  '↓↓  '↓↓⊂ '@a⊂ 'Ap (↓  ((BJ @(αi` β↓)P ∧↓	@ ¬↓	0 ¬A	0 ¬A	  ε↓	  ε↓	  ε↓	  ¬A	  ¬A	  ¬↓	  ¬↓	 (∧↓	0(αA)@h&BIp0"Qπ⊃0
λD⊂`β∃↓∃_¬T@@(α∀ @8α∀@@α∪`@Hα∪@@X↓S@@X↓S @`↓S @`↓S @`↓S @Xα∪@`α∪@`α∪@`α∪@XαS@Pβ∪ @HαS @@β∪ P(↓@ Dp¬@ Dx∧@@Eβ↓EHα⊗ 5@α∃`E8↓U@E αR`0(αRADX¬∪ d("	β↓X∪Iα_-jp8*Bj@h)A _A* _↓@`@⊂(@`@_α@* αj_α@j_α@ip_α@ip_α@ip αip αj ↓@jH(B* H)B*P@*@`⊂(*@`  *@`0_*@`0_*`@_*`@_*`@_*`@_*`0_%@ p_αi _β`0_%↓P_↓i0(↓Ai@h&Bj0)j _(@hT ∪λ$B ⊃D UH∧V↓%8α`U8↓A E0↓A@E0↓A@E(α↓@E(↓A`E(↓A@E α↓@E α↓ E α↓E α`E α@E ∧B`% ∧β5 ββ E αC@5_ββ E⊂βC 5∧C4xα@ PPα∪@@_αB@4hα↓ P@↓S@0αA`DXααP(α∩`@@αADXαα P⊂α∩@@Pα@ DPαBA∧PαB`dXαα@tXαAA00↓S↓pλεS!@(¬S`pPβQ(CxλFD"⊂αB	@h%Ci0 βA)0λ¬A
p +A
p +A
` *A
@()A
  (A
 (ip_'↓	`_'iP_&@iP_&@hp0A	0 %↓	  "Qπa	λC`α∃@E0α∃@D8βα`5 ↓U5 ↓U5_↓T`5⊂↓T@5λ↓TDxα∪@Dhα∪DXα∩`DPα∩@DPα∩@@XR`@8α∩at`εS@t("∧↓⊂`
E P '↓	` '↓	` '↓	P &A	P &A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT λDaax
C`E@α⊗E@α⊗E@α∃`E8α∃`E8α∃@E0α∃@E0α∃@E(α∃ E(α∃ E(α∃E α∃E α∀`E_α∀`DXA@DX↓@`TP¬Ra∀hαQ(AHεD"⊂ε↓J@P)C
 (α↓
⊂ βA
⊂ βA
 ∧↓
 ∧↓
 ∧↓	p ∧↓	p ∧↓	p βA	p αA)p ↓AI` ↓AI` ↓Ai` β↓	` βA	` βA	P ∧A	P ∧A	P ∧A	P ∧A	@ ¬↓	@ ¬↓	@ ¬↓	@ ¬↓	@ ¬↓	0 ¬↓	0 ¬↓	0 ∧A	0 βA)0 ↓B	  ↓B	  ↓↓hT 
λDQ(
B pHαT!0 ¬∪a`⊂ε∪`@0¬↓DxB@p8α⊗@`@α⊗@PP↓V@PP↓VB%(T#$pπS `0α∪@Hα∩`@Pα∩@@XαR@@Pβ∩@@PβB ∀Pβ↓A (α∩apλπ∪↓@(¬∪!Pβ⊃(AX∩JαQ(¬↓A00)α@pP(β @h'A P(↓↓ P '↓↓⊂@∧iP ¬↓a⊂ &↓↓00¬@i@ ε↓!0_%A↓Q_%A↓Q_%↓↓Q_%↓↓P %↓↓P %↓↓@(%↓↓@(%↓↓08%A↓ 8%A↓P¬)@(αA  (β↓	PhαβI`PβBj0¬AhT ∞εcBλ
F⊗⊂↓X 6α↔`Ex↓U@pλ↓U↓E⊂π∀ P(β∀@8βS`@8↓@ Dpα↓`@λα∪@@0α@Dhα↓`0 α∪ @0↓A D`α↓@0(α∪@(α↓ D`α↓@0α∪@ ↓A`D`α`08α∪@⊂α↓@Dh∧↓`DhβA@TpαA dxπ∪AThα dh↓S4Xα∩@DP↓Q(Ah⊗KD"⊂¬kq@/ε+` ↓AP ↓AP ↓A@ α↓0 αA0 αA  αA _β↓⊂ β↓ βA βA
p βA
` ∧∧*` ∧∧*P ∧D*P_¬↓
@ ∧A
0 ¬↓
1⊂)∧j!⊂(A↓0 (↓↓@ (↓↓@ 'A↓P '↓↓P '↓↓P &A↓` &@ap &↓↓q_%A↓q_%A↓q_"Qβbp→I∧1∧⊗∧¬0⊃∃`0∀`PPαT@PXα∀ @hα∀@pα∪`@xα∪`@xα∪@@xα∪ Aα∪ Aα∪Aλα∪Aλα∪1λα∩`Aλ
∩`Aλ
∩`Aλ
∩`Aλα∩@Aλα∩@Aλα∩@Aλα∩@Aλα∩@Aα∩@Pxα∩@Pxα∩`@xα∩`@pαR`Phα∪P`α∪PXαS PPαS@`0Sd5⊃∀`t("πd∩8∪Iβ`_-A`P_,β ⊂ +∧jP0β↓j0(¬A* (ε↓J⊂ εAj π`⊂ 'A!P_↓↓	p ε@`@ '↓↓P α↓	P εAP &A↓P_β↓	@ ε@`p &↓↓@ βA	@ ¬A↓ %A↓@_∧A	0 ¬@a  %A↓ _¬A	0 ∧A↓  %↓↓⊂ ¬A	  ∧@a@ %↓↓_εA	  βA↓@ %↓` εA	  βaP %A@_εA	0 ↓@a` %A  εA	0HεA	@8εA	P(εA	P(¬A)P8βAIQ⊂&` `%@`P@%@i@λ"Q∧⊂XλHD 8α∀ Eλα∀ Eλ↓TEα∀E↓T4xα∪`Dxα∪`4x↓S@Dpα∪@4p↓S@4hα∪ 4h↓S 4h↓Q``λα∩`DPα∩@D("∂↓0x⊃εp (A
⊂ (Aλp0βip_'@ip_'@i` 'i`_'iP &A	P_&@iP_&↓	@ &↓	@_%A	0 %A	0 %↓	  %↓λT ⊃IE"`⊃¬`⊂XX P↓_ P↓↔` P↓↔` P↓↔@ P↓↔@ P↓↔  P↓↔  P↓↔ P↓↔ P↓↔ P↓⊗` P↓⊗` P↓⊗@ P↓⊗@ P↓⊗  P↓∪$$h⊃∃` P↓∃` P↓∃` P↓∃@ P↓∃@ P↓∃@ P↓∃  P↓∃  P↓∩d$X⊃∀` P↓∀@ P↓∀@ P↓∀  P↓∀  P↓∀ P↓∀ P↓∀ P↓∪` P↓∪` P↓∪@ P↓∪@ P↓∪  P↓∪  P↓∪ P↓∪ ⊂XQ(B(⊂
∧r βAα0λ(↓B⊂⊂'Bα⊂'↓ _π@IP ↓A↓P⊂&↓@ εI@ α↓↓0⊂%AP ¬@I0 αA↓ ⊂%AP ∧@I0 αA↓⊂%↓P ∧@I  αA↓⊂%↓P β@I  α↓p⊂%@`@_∧I0 ↓↓p⊂%B p⊂&↓`p⊂&A↓⊂∧↓⊂⊂βAK⊂βB
p⊂βA _+@p ↓A
`⊂β↓@ *@@p α↓
@⊂βAP )@A αA
0⊂∧↓P )A⊂ αA
⊂⊂∧AP (A  αA
⊂¬↓P '@A0 α↓	`⊂ε↓@ &@A`_↓A	@⊂πA _&Ap@%@B⊂0%@"0 "Q∧p0λα$ ⊂α∪D`α∪Dh↓∪$`↓∩`$X↓∩@$("
α18_Iα_,↓
p_+jP_*↓
0 )↓
 _(A
 (ip '@i` '↓	P &A	@ &↓	@ %A	0 %A	0 %↓	  %↓	  %↓	  %↓	  %i _%i  %↓	  %↓	  %@i0 %A	@_&↓	P_'i` '@hT ∀EαCλ∩α`50↓U@58↓U`E@↓VEH↓V 5Hα⊗ EHα⊗@5P↓V@5P↓V@EP↓V@5Hα⊗ EHα⊗ EHα⊗ E@α⊗E@α⊗E8α∃`E8α∃@E0α∃@5(α∃ 5 α∃5_α∀@E⊂↓T Eα∀4x↓S@4h↓R`DPα⊃(BP
GαR εJP_*@jP_*@IP⊂α@`P_&↓ 0_↓A)P(↓@0('↓ ⊂⊂A*P)↓J⊂0'BIP(@@⊂(%A 0⊂↓↓) (↓@`0(%`P_α@J ⊂)J⊂_(@j⊂⊂"Q¬2∪λ#A⊂W%`↓⊗`%X↓⊗`%X↓⊗`%P↓⊗@%P↓⊗@%P↓⊗ %H↓⊗ $P∂RCu@↓⊗%@↓⊗%8↓∃`%8↓∃`%8↓∃@%0↓∃@%0↓∃ %(↓∃@∀("pP∧@`0 &A	@ &↓	P⊂&@I@⊂&I0⊂%HT ↔↓! _↓@ DXα∩@DPα⊃(Bx∞π&α 
,0⊂1@L ⊂1L⊂⊂0@L⊂0Kp⊂/K`⊂.@KP⊂.K@⊂-@K0⊂-K⊂⊂,@K⊂,Jp⊂+@J`⊂+JP⊂*J@⊂)@J0⊂)J ⊂(@J⊂⊂(Ip⊂'@I`⊂'IP⊂&@I@⊂&I0⊂%I ⊂%(T ≥α!a(
A Dpα∪@Dpα⊃a`λα∩`DPα∩@D("∞a0p
E p (↓
 (↓λpp↓A	P &↓	@ &@IP⊂&I@⊂%@I ⊂"QπR_∪Bb⊂_∂S#t8∧#tX∂Q(D∞Hd"⊂λAKX+βJ@8αA*0(¬↓
  ε↓
⊂ βA ⊂ (↓`h'A`p'↓`(↓Ai` αA`0&AP ∧↓)@ β↓↓(&↓P ∧A	@ αA↓⊂ %AP ¬↓	0 αA↓  %AP ¬↓	0 αA↓⊂ %↓P ¬↓	  αA↓  %↓P ∧A	  β↓↓ %↓` βA	0 αA` %A` α↓	0 βαi@ βα)@ ∧↓)P &A!P '↓A0(∧
⊂h)BλT -DbC∩αa¬(∧∃↓¬ α∃E ↓T`E_α∀`E_α∀`5⊂α∀@E⊂α∀@E⊂↓T Eλα∀ Eλ↓T 5α∀Eα∀4xα∪`Dxα∪`Dx↓S@Dpα∪@Dp↓S@4hα∪ Dhα∪ 4`α∪D`α∪D`↓R`DXα∩a∧X∧∩a∧("↔"1λ_	↓0@*B
@@,↓ ,↓_,jp +A
p +@j` +↓
` +↓
`_*A
P *A
P *@j@ *↓
@ *j@_)A
0 )A
0_)↓
  )↓
  )j⊂ (A
⊂ (@j⊂_(↓
 (↓
_'A	0@%B	0@"Q8λB$ (↓∪@$p↓∪ $`↓∪$Xα∩`DXα∩@D("∧A⊃ ∧λ@ %A	@_&↓	P_'i` '@j_"Qα0X
B∧ 8α∀Dxα∪@Dhα∪ 4`↓R`4P↓Q(A λε`qxa _%a %@`` &`@ &↓ _&Ai`('↓λT 
Dβ0@⊃0P↓R@0P↓R@0Hα∩@@@↓R`08↓R`@ αS↓4`∧S@T("¬B!X↓π@↓⊂%∧I!⊂"Qαph∂B∧ (αS!∀`¬∩`0(α∩@00↓R@@(↓Ra$X∧S T(!@?␈␈x␈@α@ε␈␈␈x{␈␈␈x}↓ 4p↓S 4`↓R`4P↓Q(Bεβ`a_¬@*  'α	0P%α	  %(T /∧β @⊃↓`Eβ∪`tpα Dhα`4h↓A 4`↓A@DX↓B4P↓B@4("↔`Q↓H@⊂ %A	  %↓λT >Dβ0@⊃↓@ α∪@@ α∪ @ α∪ 0(↓S0(↓R`@ α∩`0(↓R@0(↓R@0(↓Q(GpλF`Rλα↓`_&A@P_&α0_%@`0H%`P8%`p_"Q∂pp
d λα↓ DXα↓ DXα↓DPα↓ D("αd∩(⊃λAP8β↓jPHαα*@P↓BJ0 ∧A
  ∧A
 _¬j⊂ ∧A
⊂ ∧A
⊂ ∧A
 ∧A
 ∧A
 ∧A
 ∧A	0pαα) pαα) pαα)p ∧A	p ∧A	p ∧A	` ∧A	` ∧A	` ∧A	` ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	0 ∧A	0 ∧AλT εε#R_⊃E E8α@`E(β@`E ∧@E_α∀@E⊂↓T Eλα∀ Eα∀Eα∀DXπ@`DPπ@`DPπ@`Dxαα Dxαα Dxαα Dpαα Dpαα Dpαα Dpαα Dhαα Dhαα Dhαα Dhαα Dhαα D`αα D`αα D`αα D`αα D`αα DXαα DXαα D("β#⊃h⊃λAP(↓A
P8↓A
@@↓A
0 ∧↓
  ∧↓
 _∧A
⊂ ∧A
⊂ ∧A
⊂ ∧A
 ∧A
 ∧A
 ∧A
 ∧A	0x↓A	 x↓A	 x↓A	p ∧A	p ∧A	p ∧A	` ∧A	` ∧A	` ∧A	` ∧A	P ∧A	P ∧A	P ∧A	P ∧A	P ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	0 ∧A	0 ∧AλT π	e2_⊃H`E8β↓`P α∃!0β↓E ∧A p_α∀`@P↓T@@Pα∀@0X↓T @Pα∀ @Pα∀ @Pα∀@Pα∀@Pα∀@Pα∀@Pα∩a`(∧ADPπ↓!⊂ α∩A`(∧ADxαα@@Hα∪`@Pαα Dxαα@@Hα∪@@Pαα Dpαα@@Hα∪@@Pαα Dpαα@@Hα∪ @Pαα Dhαα@@Hα∪ @Pαα Dhαα@@Hα∪ @Pαα D`αα@@Hα∪@Pαα D`αα@@Hα∪@Pαα D`αα@@Hα∩`@Pαα DXαα@@Hα⊃(@x∪Jd"⊂εA@p(α↓
P@β↓@@ *α P8α↓
0 ¬a⊂ )↓↓  ∧↓
 _¬@a⊂ (A↓  ∧A
⊂ ¬↓↓⊂ (A↓  ∧A
 ¬↓↓⊂ (↓↓  ∧A
 ¬↓↓⊂ (↓↓  ∧A	0pαB @ %β@PHα↓	 pαB @ 'A↓  ∧A	p ¬↓↓⊂ 'A↓  ∧A	` ¬↓↓⊂ '↓↓  ∧A	` ¬↓↓⊂ '↓↓  ∧A	P ¬↓↓⊂ &A↓  ∧A	P ¬↓↓⊂ &A↓  ∧A	P ¬↓↓⊂ &↓↓  ∧A	@ ¬↓↓⊂ &↓↓  ∧A	@ ¬↓↓⊂ &↓↓  ∧A	0 ¬↓↓⊂ %A↓  ∧AλT ⊃∧αpH⊃@@0α∪@0α∪@0α∪@0α∪  @↓∪ @↓∪ @↓∩` @↓∩` @↓∩@ @↓⊃(BhεD `C	 `%βλT .∧#`H⊃↓  @↓∪@ @↓∪@ @↓∪  @↓∪ @↓∪ @↓∩`@0α∩`@0α∩`@0α∩@@0α⊃(GXε` pε	!@%ελT >&@⊂πε∀P_RF∀(wD
⊗ 2[NFH3~,W⊂⊂⊂iU_)R=q(1[lFH7→n6_4→-V(⊂∃U@⊂≥W@:;aF07[NF00XlV⊂<]←_:@|βλ*∀1*Xht@OX≠@OX≠␈␈␈x⎇@~␈␈␈xy@∩=@↓Xα∃*hαi8{% εU+¬\O0↓	``8r@Z>`_∂↓≤8⊂↓@=@BλαU*hβλh{↓$0¬U+ ε∃/0β	XG∞`M}`8∪@↓Gλe↓HB=Aα αqcXβ∨X{α$pε≤9 εRO0¬	XG∞`
O>`X∞@↓∃(,αhD=AAXα∩>X¬aX{β#0∧$⎇0SO0π
 hαl`↔K}`x∀@↓P(Y@αx{=BXz'p∧≠ {∧!Pα⊃λ`λ<␈0	ε @@⊗¬≡a_@↓↓α`⊗⎇BAHα⊂¬D0{¬#⊂∧ ␈0ε @@⊗#≡a8∩@↓<`q@α`L⎇C↓0↓cG_¬K@{ε#βl`λF/0
	XG∞`⊃/}aX∪@↓Gλeα_∂=CAHα⊂∧8x{π%0εqd	α/0∂xG∂ ∩&>ax∪@↓Gλeα(∀=D`z'p¬Mp{λ"αG∞0	>∨0⊃ε @@_3}b_∃↓U(,α0;⎇DAHα⊂β}`{	% εU+	e/0∪	@`⊃	 ⊂∨}b8πGλdα@ε⎇E↓_↓G∞(¬α@{
"0β∞≤P
∩?0∃ε @@∀?↑bX∪@↓GλeαH(⎇E@p↓∞≤@¬→`{"⊂αU*`∨o0↔β@ 8r∀m}bx@↓↓αHc=F↓Hα⊂β<p{#⊂∧ π
←0→ε @@∞(↑c_@↓↓↓`}⎇FAHα⊂βUp{
#⊂∧ π9←0≠ε @@∂≡c8@↓↓↓pS⎇G↓Hα⊂βo{∞#⊂∧ πn∨0≥β@ 8r∃}cXπGλdαP$=GA↓#G_∧c {∂$pε≤9 
M←0∨ε8G∞`⊂[>cxxp≥@αλ∪=HαλαU*h¬'p{⊂$⊂¬*U`∧?0!λ PU+@*↑d_⊂↓#@sλ∃⎇HB αqch_0{⊃#`∧cG0A←0#πH∞≥ ↓⊗↑d8⊂@↓*PV@⊂S⎇Iα_αjUP1@{∩!`α≤9 t←0%ε8G∞`↓|↑dX⊃@↓1`; "⎇IAXα∃*hMP{∪%@πP↓$␈0'λ`X*V@β≡dx∩@↓<8∂0}⎇JααG∞0x`{∀$P¬qc`↓}←0)λP*V∧&↑e_∞↓∞_HH⊂⎇JB⊂α\9↓↔p{∃$ ¬@Pα9?0+λ PU+@¬↔≡e8↔@↓q`;Pt⎇KαλαU*p↓?0{⊗$⊂¬*U`β∂?0-π@HcG@ε;≡eXπIx%@αX∪⎇KAHα⊂ε⊂X{↔!`α'i0
r∂0/ε @@⊗<}exπGλdαh=Lp↓∞≤@¬?H{_#βlPβ'∨01ε@@"⊃@ε`↑f_q`9@h{⎇LAPαλD0↓c⊂{→"`βG∞0βU∨03β` qdπ:↑f8@↓↓x≠⎇M↓PαλD0↓z@{~!0↓tO`∧∧∨05β  "⊃@λ↔↑fX⎇⊂@↓Y⎇M@Xz'pα∩0{≠%⊂ε-A`∧.?07ε@@"⊃@	≡fx@↓↓↓⊂/⎇N↓PαλD0α+⊂{≤# ∧⊃λ`∧d∨09∧ (;↑@	d↑g_	@b⊂⊃@↓_e⎇NA⊂↓8qhα@0{≥# ∧⊃λ`¬	∨0;¬`80.
*≡g8⊃↓.py↓(⎇O↓8↓l@αZ {≡"pβX↔¬>␈0=¬@0z(→≡gX@↓↓βλ≥=OC⊂∧_ε∀8{∨#⊂∧ $␈0?ε @@⊗T↑gx@↓↓αh8} _d⊂=xow{⎇x